mathematical logics造句
例句與造句
- several factors in mathematical logic translation
數(shù)理邏輯翻譯中的幾個因素 - on the second revolution of mathematical logic
論第2次數(shù)理邏輯革命 - the feature of the mathematical logic and the aesthetics in the ancient chinese capital planning
中國古代都城規(guī)劃中的數(shù)理哲學與美學特征 - he has an msc in mathematical logic and the theory of computation from bristol university, uk
他具有英國bristoluniversity頒發(fā)的數(shù)理邏輯和計算理論的理學碩士學位。 - r . cori & d . lascar : mathematical logic ? a course with exercises, part i . oxford university press, 2001
陳慕澤余俊偉：數(shù)理邏輯基礎(chǔ)??一階邏輯與一階理論，中國人民大學出版社2003。 - It's difficult to find mathematical logics in a sentence. 用mathematical logics造句挺難的
- this paper shows that the methods of mathematical logic may have a broad application and also valuable to human's daily thinking
這說明，數(shù)理邏輯的方法可以有廣泛的運用，它對于日常思維同樣有重要的價值。 - this is an article about mathematical logic, its are basic the thought is to stem from the true reason that considers a theory to prove end at result of a kind of calculative
這是一篇關(guān)于數(shù)理邏輯的文章，其基本思想是出于想把理論的真理性論證歸結(jié)于一種計算的結(jié)果。 - thanks to the mathematical logic of this two-key procedure, it is not necessary for both sides of a communication to know the full key combination, and every key is unique
您還應(yīng)該注意一下“隨大流”。僅僅因為一個特殊的安全性功能是標準的并不意味著您應(yīng)該提供同樣低級的保護。 - the tool mr barth is employing to effect this transition is linear temporal logic, a system of mathematical logic that can express detailed constraints on the past and the future
巴斯先生用來實現(xiàn)這一轉(zhuǎn)化過程的工具是線性時序邏輯，一種可以表達過去和未來的詳細約束的數(shù)理邏輯系統(tǒng)。 - fundamenta informaticae, 2004, 62 : 1-23.10 kleine b " uing h, lettmann h . propositional logic : deduction and algorithms, cambridge university press, 1999.11 hilbert d, ackermann w . principles of mathematical logic
2提出了一個算法把ctl在有界語義下滿足性的檢測規(guī)約到一個qbfquantifiedbooleanformulas問題的滿足性的判定上，同時證明了算法的正確性。 - we already know that in a very real sense mathematics is " incomplete . " kurt gdel showed in 1931 that no system of mathematical logic was complete in the sense that it could be self-contained, consistent, and complete
我們已經(jīng)非常清楚地知道數(shù)學是“不完整”的。kurtgdel于1931年指出，在自我包含，一致性，和完整的意義上，沒有任何數(shù)學邏輯系統(tǒng)是完整的。 - basic theories used in the research are agricultural economics, environmental economics, welfare economics, public economics, finance, sustainable developing economics, etc . main research methods are mathematical logic analyzing method, figure and graph analyzing method, philological method, combining definition and ration, etc . using for reference of foreign advanced experience about supporting sustainable agriculture, combing related agricultural policy in wto, basing new funds supporting system upon current situation of chinese agricultural investment, i lodge a agricultural sustainable supporting system which is consonant with chinese agricultural feature
從“世界是事實的總和，而非事物的總和(wittgenstein關(guān)于科學的命題之一)”角度出發(fā)，本論文在研究過程中力求堅守事實的客觀性。研究思路遵循著：研究問題的提出??農(nóng)業(yè)可持續(xù)發(fā)展研究??農(nóng)業(yè)可持續(xù)發(fā)展資金支持研究??中國農(nóng)業(yè)可持續(xù)發(fā)展資金支持體系的設(shè)計與對策分析的路徑。研究邏輯服從于：核心概念界定??農(nóng)業(yè)可持續(xù)發(fā)展與資金支持構(gòu)造解析??中國農(nóng)業(yè)可持續(xù)發(fā)展資金支持體系的建構(gòu)??中國農(nóng)業(yè)可持續(xù)發(fā)展資金支持體系構(gòu)建整合，這個從一般到特殊的過程。 - the method of mathematics logic also had great influence on camap . he was good at mathematics and symbol logic, so he could study the problem of confirmation with the tool of the methods of mathematical logic and probability logic to construct inductive logical system of the theory of probability confirmation
數(shù)理邏輯的發(fā)展對卡爾納普的思想具有深刻的影響，為他的哲學研究提供了方法論工具?？柤{普在數(shù)學與邏輯方面的造詣，使他能夠利用概率邏輯、數(shù)理邏輯的方法作為工具來研究歸納確證問題，從而構(gòu)建了他的概率確證邏輯體系。 - piaget has made significant contributes in the psychology of children's cognition as follows : first, he produces a complete theory of children's cognition structures which is full of dialectical thoughts; second, he depicts the cognitive developing line of children from their birth to early youth; third, he is the first psychologist one who introduce mathematical logic to draw children " development of thinking; finally, he sets up the theoretical construction of genetic epistemology
2兒童認知發(fā)展理論的進展與思考21皮亞杰兒童認知結(jié)構(gòu)理論的回顧皮亞杰對兒童認知心理學的主要貢獻主要體現(xiàn)在以下幾個方面：第一，提出了一套完整的、富有辨證思想的兒童認知結(jié)構(gòu)理論；第二，描繪了兒童從出生到青年初期(15歲)認知發(fā)展的路線；第三，首次采用數(shù)理邏輯作為刻化兒童邏輯思維發(fā)展的工具；第四，構(gòu)造了發(fā)生認識論的理論框架。 - in order to make a distinction between the logic of hegel and dialectical mathematical logic, we name it “ general mathematical logic ”; dialectical logic of engels is not opinions of engels about logic, but is names logic of hegel; dialectical logic of engels is a stochastic expressive way, is an improvisational, a temporary vocabulary, so is not a formal learning vocabulary
為了使之與辯證(思惟)數(shù)理邏輯相區(qū)別，可稱之為“普通(思惟)數(shù)理邏輯”；恩格斯所謂的“辯證邏輯”只是“對黑格爾的《邏輯學》中講述的東西的一種稱謂，而不是恩格斯對邏輯這門科學本身的看法”；恩格斯所謂的“辯證邏輯”“只是一種隨機性的表述方式”，“是恩格斯在寫札記和筆記時一個即興的、臨時性的用語，因此并不是他的一個正式的學術(shù)用語?！?/li>更多例句： 下一頁